University of Calgary What Is a Differential Partial Combinatory Algebra? University of Calgary Faculty of Graduate Studies
نویسندگان
چکیده
In this thesis we combine Turing categories with Cartesian left additive restriction categories and again with differential restriction categories. The result of the first combination is a new structure which models nondeterministic computation. The result of the second combination is a structure which models the notion of linear resource consumption. We also study the structural background required to understand what new features Turing structure should have in light of addition and differentiation – most crucial to this development is the way in which idempotents split. For the combination of Turing categories with Cartesian left additive restriction categories we will also provide a model.
منابع مشابه
UNIVERSITY OF CALGARY A MULTIMODAL BIOMETRIC SYSTEM BASED ON RANK LEVEL FUSION by MD. MARUF MONWAR A THESIS SUBMITTED TO THE FACULTY OF GRADUATE STUDIES IN PARTIAL FULFILMENT OF THE REQUIREMENTS FOR THE DEGREE OF DOCTOR OF PHILOSOPHY
متن کامل
UNIVERSITY OF CALGARY Chain Shift in Phonological Acquisition by Karen Christine Jesney A THESIS SUBMITTED TO THE FACULTY OF GRADUATE STUDIES IN PARTIAL FULFILMENT OF THE REQUIREMENTS FOR THE DEGREE OF MASTER OF ARTS DEPARTMENT OF LINGUISTICS
متن کامل
UNIVERSITY OF CALGARY Non-Photic Phase Shifting: Acetylcholine and Arousal by Glenn R.S. Yamakawa A THESIS SUBMITTED TO THE FACULTY OF GRADUATE STUDIES IN PARTIAL FULFILMENT OF THE REQUIREMENTS FOR THE DEGREE OF DOCTOR OF PHILOSOPHY DEPARTMENT OF PSYCHOLOGY
.............................................................................................................................. ii Acknowledgements ............................................................................................................ iii Dedication .......................................................................................................................... iv ...
متن کاملTHE UNIVERSITY OF CALGARY Programming Distributed Collaboration Interaction Through the World Wide Web by Roberto Augusto Flores-Méndez A THESIS SUBMITTED TO THE FACULTY OF GRADUATE STUDIES IN PARTIAL FULFILLMENT OF THE REQUIREMENTS FOR THE DEGREE OF MASTER OF SCIENCE
............................................................................................................................. iii Acknowledgments .............................................................................................................. iv Dedications.......................................................................................................................... v T...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 2011